00100 (DE SUPPORT(X)(PROG NIL(COND ((NOT(EQ LVL 1))(SETQ STRATEGY NIL)(RETURN T)) 00200 (T(RETURN(MEMBER(CDR X) SUPPORT))))))